упрощение логических выражений